]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9201701) | patch
theme: Fix workspace switcher popup box size
authorJonas Dreßler <verdre@v0yd.nl>
Wed, 19 Feb 2020 08:51:11 +0000 (09:51 +0100)
committerJakub Steiner <jimmac@gmail.com>
Wed, 19 Feb 2020 14:07:36 +0000 (14:07 +0000)
commit12de4e67f80a26ccd1221a035bca35ef4c4718da
tree4b29e377e76a784786f46e47f96129607dbc8e5dtree | snapshot
parent9201701c95ebc3a507c184894baf8291adcf2276commit | diff
theme: Fix workspace switcher popup box size

This should be the last fallout from the theme refresh, make sure all
the boxes of the workspace switcher popup are the correct size.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1022
data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.